An Interface Group for Process Components
نویسندگان
چکیده
We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra. We formalize the interfaces of interacting process components by means of an interface group. An interesting feature of the interface group is that it allows for distinguishing between expectations and promises in interfaces of process components. This distinction comes into play in case components with both client and server behaviour are involved.
منابع مشابه
عناصر مهم در طراحی رابط کاربری، قابلیت استفاده و مسائل فنی پایگاهها در فاصله سال‌های 93 تا 95
Introduction: Database design by taking into account the components of user interface, usability and technical issues, is a key indicator of quick access to the required information of the users. Ovid assessment criterion evaluates databases in terms of user interface, usability and technical issues. The purpose of the present paper is to determine the important elements in the design of user i...
متن کاملImproving Architectural Design Skills with Design-Based Learning of New Structures
The purposeful and applied learning of Structures as a pillar of architectural design is very important. The current educational content of Structures in architecture departments is based on theoretical discussions, mathematical formulas, and lecture-oriented material. As a result, students are incompetent in applying practical concepts and structural formal analyses to architectural design. Ef...
متن کاملSurvey and Study of Machinability for Titanium Alloy Ti-6Al-4V through Chip Formation in Milling Process
Most of the materials used in the industry of aero-engine components generally consist of titanium alloys. Advanced materials, because of their excellent combination of high specific strength, light weight and general corrosion resistance. In fact, chemical wear resistance of aero-engine alloy provides a serious challenge for cutting tool material during the machining process. The reduction in ...
متن کاملSurvey and Study of Machinability for Titanium Alloy Ti-6Al-4V through Chip Formation in Milling Process
Most of the materials used in the industry of aero-engine components generally consist of titanium alloys. Advanced materials, because of their excellent combination of high specific strength, light weight and general corrosion resistance. In fact, chemical wear resistance of aero-engine alloy provides a serious challenge for cutting tool material during the machining process. The reduction in ...
متن کاملFormation interface detection using Gamma Ray log: A novel approach
There are two methods for identifying formation interface in oil wells: core analysis, which is a precise approach but costly and time consuming, and well logs analysis, which petrophysists perform, which is subjective and not completely reliable. In this paper, a novel coupled method was proposed to detect the formation interfaces using GR logs. Second approximation level (a2) of GR log gained...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Fundam. Inform.
دوره 99 شماره
صفحات -
تاریخ انتشار 2010